How to trim time string to specific format